fst = compose p m'
snd = compose q m'
